LogicEval: Un marco sistemático para evaluar técnicas de reparación automatizadas para vulnerabilidades lógicas en software del mundo real
Descubre cómo evaluar técnicas automatizadas de reparación para vulnerabilidades en software del mundo real. Aprende sobre la eficacia de estas herramientas en la seguridad de tu sistema.